1. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها,ایمنی سیستمها -- کنگره ها ,مهندسی سیستم ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
2. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
